Deno deploy & Vercelで証明図画像生成器
wo/tpgみたいな感じでURLクエリに論理式を投げる（様相論理の場合公理系をどれにするかも指定）
証明木（真理木）の画像を生成するサービスをdeno deployで作る
なんとdeno deployではおそｒかうPuppeteerを使う手段が無い！！
どうしてこんなことに…
deno deployで論理式を解く担当
Vercelで画像生成担当